While it seems to be evident that the vision of the eternal return of the same is the solution to the riddle mentioned in "On the vision and the riddle," exactly what constitutes the riddle is anything but clear. Li ke all good riddles the solution demands a paradigm shift. Nietzsche's riddle is solved by a radical rethinking of the concept of time, from a straight line to a circle. I give a detailed account of how Nietzsche's riddle is formulated (...) in such a way tha t the eternal return of the same is the only possible solution. (shrink)

This book presents Robert S. Hartman’s formal theory of value and critically examines many other twentieth century value theorists in its light, including A.J. Ayer, Kurt Baier, Brand Blanshard, Paul Edwards, Albert Einstein, William K. Frankena, R.M. Hare, Nicolai Hartmann, Martin Heidegger, G.E. Moore, P.H. Nowell-Smith, Jose Ortega y Gasset, Charles Stevenson, Paul W. Taylor, Stephen E. Toulmin, and J.O. Urmson.

How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...) the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

This paper has two aims: First, to provide an elucidation of the kind of meta-ethical programme at work in Mary Midgley's (1919-2018) Beast and Man: The Roots of Human Nature (published in 1978). Second, to make the case for Midgley's placement within the philosophical and philosophical-historical canon, specifically, as an important figure within the meta-ethical movement of ‘Neo-Aristotelian naturalism'. On historical and systematic grounds, I argue that Midgley should be classified as a neo-Aristotelian ethical naturalist notwithstanding the distinctive features of (...) Midgley’s specific brand of neo-Aristotelianism. In doing so, I suggest a more generally applicable family resemblance approach to the history of philosophy in order to classify and re-introduce into the canon figures in the history of philosophy that are in danger of falling into oblivion. (shrink)

Kant holds that the whole “higher faculty of knowledge” (‘reason’ or ‘understanding’ in a broad sense), is a spontaneous faculty. But what could this mean? It seems that it could either be a perfectly innocent claim or a very dangerous one. The innocent thought is that reason is spontaneous because it is not wholly passive, not just a slave to what bombards the senses. If so, then the rejection of Hume’s radical empiricism would suffice for Kant’s claim. But the dangerous (...) thought is that reason, and the ‘I think’ which expresses it, is free, having the power to produce something entirely from itself. While this freedom is characteristic of practical reason, could it be characteristic of reason in general, even in its theoretical employment? Some contemporary interpreters have admirably defended the ‘dangerous’ conception by stripping it of the implication that it makes reason in general entirely self-sufficient. I attempt to add to this effort. However, what I contend is that this weightier conception of spontaneity (‘absolute’ or ‘non-relative’ spontaneity) requires abandoning a certain approach to the question that has been assumed by virtually everyone in the debate—namely, that the question can be answered by siding with either the so-called ‘metaphysical’ or the ‘epistemic’ interpreters of Kant. My goal is to suggest that the proper perspective on reason’s spontaneity resists such characterizations all together, and thereby resists any of the conditions under which it could be understood as ‘relative’ to anything. (shrink)

In recent years, feminist scholarship on emotional labor has proliferated. I identify a related but distinct form of care labor, hermeneutic labor. Hermeneutic labor is the burdensome activity of: understanding and coherently expressing one’s own feelings, desires, intentions, and movitations; discerning those of others; and inventing solutions for relational issues arising from interpersonal tensions. I argue that hermeneutic labor disproportionately falls on women’s shoulders in heteropatriachal societies, especially in intimate relationships between women and men. I also suggest that some of (...) the gendered burdens of emotional labor that feminist scholars point out would better be described as hermeneutic labor. Drawing on feminist philosophy as well as findings from social psychology and sociology, I argue that the exploitation of women’s hermeneutic labor is a pervasive element of what Sandra Bartky calls the ‘micropolitics’ of intimate relationships. The widespread expectation that women are relationship maintenance experts, as well as the prevalence of a gendered demand-withdraw pattern of communication, leads an exploitative situation to appear natural or even desirable, even as it leads to women’s dissatisfaction. This situation may be considered misogynistic in Kate Manne’s sense, where misogyny is a property of social environments rather than a worldview. (shrink)

In the words of Iris Murdoch, Mary Midgley’s Beast and Man built “an urgently needed bridge between science and philosophy”.1 While science and philosophy have never been entirely remote, Murdoch was right to observe the achievement of her friend, Midgley, in drawing a new and insightful connection between these disciplines. A bridge, more specifically, between scientific investigations into human and animal behaviour, and philosophical enquiries into the concept of human nature. A moral philosopher by trade, Midgley imbues the neo-Aristotelian understanding (...) of man as a ‘rational animal’ with the many traits (she argues) we share with our diverse earthly neighbours – nonhuman animals. (shrink)

Drawing mainly from the Tractatus Logico-Philosophicus and his middle period writings, strategic issues and problems arising from Wittgenstein’s philosophy of mathematics are discussed. Topics have been so chosen as to assist mediation between the perspective of philosophers and that of mathematicians on their developing discipline. There is consideration of rules within arithmetic and geometry and Wittgenstein’s distinctive approach to number systems whether elementary or transfinite. Examples are presented to illuminate the relation between the meaning of an arithmetical generalisation or theorem (...) and its proof. An attempt is made to meet directly some of Wittgenstein’s critical comments on the mathematical treatment of infinity and irrational numbers. (shrink)

Nietzsche announces his intentions to publish a “physiology of aesthetics”, namely a naturalistic explanation for how aesthetic judgements are grounded in the physiology of both the one experiencing the work, and the creator of it. But as well as the physiological reduction of aesthetic judgements, Nietzsche in many places across his oeuvre frames the apparatus of physiology, especially the prescriptive dimension of self-cultivation, in terms amenable to being treated as ‘aesthetic’. The first section will mount a (re-) defense of the (...) use of aestheticized language for discussing Nietzschean self-cultivation. The second section demonstrates an aesthetic evaluation of capacities that make possible the acquisition and removal of instinctual components, ultimately arguing for Nietzsche’s qualified indeterminism regarding the capacity for self-cultivation. The third section will assess the pres- ence of another aesthetic measure, this time in terms of envisaging one’s psycho-physiology by reference to an external spectacle. The final section discusses metaethical questions stemming from Nietzsche’s prescriptive language regarding the aestheticization of our physiology. (shrink)

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

On the background of explaining their different notions of analyticity, their different views on definitions, and some aspects of Frege’s notion of sense, three important Kantian strands that interweave into Frege’s view are exposed. First, Frege’s remarkable view that arithmetic, though analytic, contains truths that “extend our knowledge”, and by Kant’s use of the term, should be regarded synthetic. Secondly, that our arithmetical (and logical) knowledge depends on a sort of a capacity to recognize and identify objects, which are given (...) us in particular ways, constituting their senses (Sinne). Third, that there is a sense in which Frege’s view of definitions and explications gives new substance to Kant’s leading idea of analyticity, namely, the containment of a truth or a concept in another. In all these, Frege’s view does not endorse the Kantian strands as they are, but gives them special and sometimes quite sophisticated twists. (shrink)

In recent decades, interest in non-monogamous intimate relationships has grown rapidly. Polyamory, relationship anarchy, consensual or ethical non-monogamy, and more have become popular in academic and public discourse. These practices destabilize the privileging of heterosexual nuclear families and the assumption that romantic coupledom is the ultimate form of love. Non-monogamous approaches flout cultural norms of exclusivity by avowing that intimacy is compatible with multiple dyadic and/or multi-party relationships. This article explores Simone de Beauvoir's theory and practice of non-monogamy in her (...) theoretical writings and diaries. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.

Much of our information comes to us indirectly, in the form of conclusions others have drawn from evidence they gathered. When we hear these conclusions, how can we modify our own opinions so as to gain the benefit of their evidence? In this paper we study the method known as geometric pooling. We consider two arguments in its favour, raising several objections to one, and proposing an amendment to the other.

I illustrate a formal similarity between the autonomy-heteronomy relation in Kant and the authenticity-inauthenticity relation in Heidegger, which then serves as an introduction to the affinity as well as the differences between Kant’s philosophy of self-consciousness and Heidegger’s investigation of the meaning of being. I sketch this in a two-fold manner: (1) for Kant and Heidegger, freedom is a form of energeia—a self-sustaining and (in some sense) complete or perfected activity. For each it may also be seen as constitutive of (...) our lived experience of time (or temporality, Zeitlichkeit) as the limit within which our everyday being occurs, allowing for fallenness or un-ownedness to manifest inside time; and (2) for both, the possibility of un-ownedness is to be understood through a form of self-deception. We will see that these two basic points are inextricably linked: freedom or spontaneity as a self-sustaining activity underlying philosophy as a whole, and which constitutes the possibility of activity in time, is the condition of the possibility and actuality of the phenomenon of losing one’s self-ownership to oneself within time. The inextricable link can be seen in the way that all activity which is properly described as taking place inside time always already presupposes a relation to the energeia constituting the whole of time. This distinction between being in time and being constitutive of time is registered in what I call the temporal difference. However, the striking disagreement between Kant and Heidegger may also be understood from this same vantage point. I suggest that this difference lies in the way that Kant conceives of the temporal difference, specifically by emphasizing the independence of self-consciousness from time. (shrink)

In this critical review I explore the anti-intentionalist stance Adorno offers in his aesthetics, specifically focusing on his Notes to Literature, and the internal limits to this stance. Adorno rejects the primacy of authorial intentionalism: The presuppositions of its aesthetic methodology, he claims, place the individual in a position of epistemic priority, without exploring the social totalities which constitute the conditions of the presentation of aesthetic knowledge by any such individual. The role of the creator for Adorno is inherently mediated (...) within the context of such totalities. -/- This is not to wholly discount the role of creative intentions, however. Rather, Adorno frames the artist as a ‘bearer’ and a ‘representative of the total social subject’. In this context he allows for a qualified form of subjectivity, construed as a mode of creativity produced by a particular kind of “achieved self-awareness” or disposition of consciousness towards an “estrangement of meaning”. Indeed, the loss of the stronger presupposition that the subject acts as an authentic expository force can lead to a realization that objectivity by this means constitutes a “loss”, Adorno claims, which creates the possibility for pursuing a critical stance to facilitate the capacity for creating autonomous works of art. Creators of autonomous works acknowledge “the paradoxical relationship of the autonomous work to its commodity character” (‘Valery’s Deviations’), namely an awareness of their inherent reification. The self-alienating yet autonomous work is described by Adorno as possessing and demonstrating tacit yet genuine ‘wants’, but this is framed by the demands of the human condition to recognize how ill-fitting the forces of social production are upon and towards securing them. Aesthetic intentions and the subjects which channel them can be critically valuable if they allude to or exposit the contradictions between these demands and those forces. (shrink)

Many welfarists wish to assign to each possible state of the world a numerical value that measures something like its moral goodness. How are we to determine this quantity? This paper proposes a contractualist approach: a legitimate measure of moral goodness is one that could be justified to each member of the population in question. How do we justify a measure of moral goodness to each individual? Each individual recognises the measure of moral goodness must be a compromise between the (...) different levels of well-being within the population. Some compromises are more reasonable than others; and some are better justifiable to a given member of the population than others. Each member recognises that the social chooser's measure of moral goodness is going to have to deviate from the well-being function of at least some of the members of the population. But we can nonetheless justify it to each of them if it doesn't deviate more than is necessary, and if the deviations from each member are given equal weighting in whatever process we use to determine it. This paper proposes that we begin with a measure of the distance from a proposed compromise to an individual's level of well-being, and then say that the moral goodness is the candidate compromise that minimizes the sum of distances from it to the individuals' levels of well-being. I describe a range of such measures of distance and show that some give utilitarianism, others different versions of prioritarianism. (shrink)

Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice.

In the first half of this paper, I argue that group belief ascriptions are highly ambiguous. What's more, in many cases, neither the available contextual factors nor known pragmatic considerations are sufficient to allow the audience to identify which of the many possible meanings is intended. In the second half, I argue that this ambiguity often has bad consequences when a group belief ascription is heard and taken as testimony. And indeed it has these consequences even when the ascription is (...) true on the speaker's intended interpretation, when the speaker does not intend to mislead and indeed intends to cooperatively inform, and when the audience incorporates the evidence from the testimony as they should. I conclude by arguing that these consequences should lead us to stop using such ascriptions. (shrink)

Discussions of sexual ethics often focus on the wrong of treating another as a mere object instead of as a person worthy of respect. On this view, the task of sexual ethics becomes putting the other’s subjectivity above their status as erotic object so as to avoid the harms of objectification. Ward and Anderson argue that such a view disregards the crucial, moral role that erotic objecthood plays in sexual encounters. Important moral features of intimacy are disclosed through the experience (...) of being an erotic object for another, as well as in perceiving another as an erotic object. Drawing on phenomenology, especially the insights of Simone de Beauvoir, Ward and Anderson argue that erotic encounters are shaped by the human condition of ambiguity, where being an object for others is intertwined with bodily agency. Because sexual agency is complex in this way, theories of sexual ethics and responsibility must widen their focus beyond transparent communication and authoritative expressions of will. (shrink)

Social contract thought has always contained multiple and mutually conflicting lines of argument; the minimalist contractarianism so influential today represents the weaker of two main constellations of claims. I make the case for a Kantian contract theory that emphasizes the bedrock principle of consent of the governed instead of the mere heuristic device of the exit from the state of nature. Such a shift in emphasis resolves two classic difficulties: tradi- tional contract theory’s ahistorical presumption of a pre-political settlement, and (...) its impossibly high demands on citizens seeking to practice self-rule. Kant’s solutions to these problems of property rights and citizenship are found in his political works, rather than the ethical works through which Kant’s political theory is usually interpreted. (shrink)

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)

It is a popular misconception that Spinoza was a pantheist or even an atheist. He was not. Like the medieval Kabbalists, Spinoza was a panentheist.

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. I argue that (...) for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (shrink)

Some years ago, Machery, Mallon, Nichols, and Stich reported the results of experiments that reveal, they claim, cross-cultural differences in speaker’s ‘intuitions’ about Kripke’s famous Gödel–Schmidt case. Several authors have suggested, however, that the question they asked their subjects is ambiguous between speaker’s reference and semantic reference. Machery and colleagues have since made a number of replies. It is argued here that these are ineffective. The larger lesson, however, concerns the role that first-order philosophy should, and more importantly should not, (...) play in the design of such experiments and in the evaluation of their results. (shrink)

to appear in Lambert, E. and J. Schwenkler (eds.) Transformative Experience (OUP) -/- L. A. Paul (2014, 2015) argues that the possibility of epistemically transformative experiences poses serious and novel problems for the orthodox theory of rational choice, namely, expected utility theory — I call her argument the Utility Ignorance Objection. In a pair of earlier papers, I responded to Paul’s challenge (Pettigrew 2015, 2016), and a number of other philosophers have responded in similar ways (Dougherty, et al. 2015, Harman (...) 2015) — I call our argument the Fine-Graining Response. Paul has her own reply to this response, which we might call the Authenticity Reply. But Sarah Moss has recently offered an alternative reply to the Fine-Graining Response on Paul’s behalf (Moss 2017) — we’ll call it the No Knowledge Reply. This appeals to the knowledge norm of action, together with Moss’ novel and intriguing account of probabilistic knowledge. In this paper, I consider Moss’ reply and argue that it fails. I argue first that it fails as a reply made on Paul’s behalf, since it forces us to abandon many of the features of Paul’s challenge that make it distinctive and with which Paul herself is particularly concerned. Then I argue that it fails as a reply independent of its fidelity to Paul’s intentions. (shrink)

Rationalization, in our intended sense of the term, occurs when a person favors a particular conclusion as a result of some factor (such as self-interest) that is of little justificatory epistemic relevance, if that factor then biases the person’s subsequent search for, and assessment of, potential justifications for the conclusion. Empirical evidence suggests that rationalization is common in people’s moral and philosophical thought. We argue that it is likely that the moral and philosophical thought of philosophers and moral psychologists is (...) also pervaded by rationalization. Moreover, although rationalization has some benefits, overall it would be epistemically better if the moral and philosophical reasoning of people, including professional academics, were not as heavily influenced by rationalization as it likely is. We discuss the significance of our arguments for cognitive management and epistemic responsibility. (shrink)

Adaptive preferences give rise to puzzles in ethics, political philosophy, decision theory, and the theory of action. Like our other preferences, adaptive preferences lead us to make choices, take action, and give consent. In 'False Consciousness for Liberals', recently published in The Philosophical Review, David Enoch (2020) proposes a criterion by which to identify when these choices, actions, and acts of consent are less than fully autonomous; that is, when they suffer from what Natalie Stoljar (2014) calls an 'autonomy deficit'. (...) According to Enoch, such actions are not protected in the usual way against interference by others; there is not the same prohibition against trying to prevent someone from acting in a particular way when that action is motivated by such adaptive preferences and is an attempt to satisfy them. In this note, I raise two concerns about Enoch's criterion. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.

Remember that childhood game “Odds or Evens” you used to play in order to settle important disputes such as who gets the last slice of pizza? There was only one element of skill to that game: trying to figure out what the other person would throw. But that wasn’t easy. If your opponent was savvy, that meant trying to figure out what he thought you were going to throw. And that sometimes meant figuring out what he thought you thought he (...) was going to throw. -/- Philosophers call this “thought attribution,” and top poker players are remarkably good at it. The ability to attribute thoughts to other people is especially important in the No-Limit Texas Hold’em tournaments that have, through television and the Internet, swept the globe in recent years. What is required to succeed in this game is not merely attributing “first-order” thoughts to other players, but attributing to them thoughts about your thoughts about their thoughts. In fact, that’s the minimum. The kind of thinking done by the very best players (T. J. Cloutier, Howard Lederer, and Daniel Negreanu are especially good at it) is much more complex than that. -/- In this paper, I explore the light that recent philosophical work on thought attribution sheds on the kind of thinking that goes on at the expert poker table. The paper should be revealing to poker experts and novices alike. And it should be of interest to philosophers interested in poker or thought attribution. -/- The essay is published in Poker and Philosophy, a volume of Open Court's Popular Culture and Philosophy Series. The goal of the series is to introduce philosophical themes to non-philosophers by way of particular topics of interest (in this case poker). (shrink)

Orthodox semantics for natural language modals give rise to two puzzles for their interactions with disjunction: Ross’s puzzle and the puzzle of free choice permission. It is widely assumed that each puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from the truth of a possibility or necessity modal with an embedded disjunction, hearers infer that each disjunct is compatible with the relevant set of worlds. I argue that Diversity inferences are too weak to explain the full (...) range of data. Instead, I argue, modals with embedded disjunctions license ‘Independence’ inferences: from the truth of a modal with an embedded disjunction, hearers infer that each disjunct is an independent alternative among the relevant set of worlds. I then develop a bilateral inquisitive semantics for modals that predicts the validity of these Independence inferences. My account vindicates common intuitions about both Ross’s puzzle and the puzzle of free choice permission, and explains the full range of data. (shrink)

In this paper, we attempt to show that if Plantinga’s free will defence succeeds, his O Felix Culpa theodicy fails. For if every creaturely essence suffers from transworld depravity, then given that Jesus has a creaturely essence (as we attempt to show), it follows that Incarnation and Atonement worlds cannot be actualized by God, in which case we have anything but a felix culpa.

Kant describes the understanding as a faculty of spontaneity. What this means is that our capacity to judge what is true is responsible for its own exercises, which is to say that we issue our judgments for ourselves. To issue our judgments for ourselves is to be self-conscious – i.e., conscious of the grounds upon which we judge. To grasp the spontaneity of the understanding, then, we must grasp the self-consciousness of the understanding. I argue that what Kant requires for (...) explaining spontaneity is a conception of judgment as an intrinsic self-consciousness of the total unity of possible knowledge. This excludes what have been called ‘relative’ accounts of the spontaneity of the understanding, according to which our judgments are issued through a capacity fixed by external conditions. If so, then Kant conceives of understanding as entirely active. Or, to put it another way, he conceives of this capacity as absolutely spontaneous. (shrink)

In Wollstonecraft’s early writings, she articulates the foundational theological and philosophical principles that would underpin her work throughout her career. One difference between her early and later work lies in the way that the values to which she refers are combined. Whereas Wollstonecraft at first appeals to the separate ideals of independence, equality, and virtue, from the 1790s onwards she integrates these into a characteristic republican framework that was in common use amongst dissenting theorists at the time. The set of (...) values on which Wollstonecraft draws, and the version of the republican framework that she develops, closely resemble those of Richard Price with whose work she was familiar. Examining the structural similarities between their respective models, I argue, gives us an insight into the systematic manner of aspects of Wollstonecraft’s own thought. It also allows us to see how Wollstonecraft goes beyond the republicanism of Price and others as she develops her own feminist solutions to the problems of structural domination. (shrink)

Epistemologists who study credences have a well-developed account of how you should change them when you learn new evidence; that is, when your body of evidence grows. What's more, they boast a diverse range of epistemic and pragmatic arguments that support that account. But they do not have a satisfactory account of when and how you should change your credences when you become aware of possibilities and propositions you have not entertained before; that is, when your awareness grows. In this (...) paper, I consider the arguments for the credal epistemologist's account of how to respond to evidence, and I ask whether they can help us generate an account of how to respond to awareness growth. The results are surprising: the arguments that all support the same norms for responding to evidence growth support a number of different norms when they are applied to awareness growth. Some of these norms seem too weak, others too strong. I ask what we should conclude from this, and argue that our credal response to awareness growth is considerably less rigorously constrained than our credal response to new evidence. (shrink)

Gareth Evans has argued that the existence of vague objects is logically precluded: The assumption that it is indeterminate whether some object a is identical to some object b leads to contradiction. I argue in reply that, although this is true—I thus defend Evans's argument, as he presents it—the existence of vague objects is not thereby precluded. An 'Indefinitist' need only hold that it is not logically required that every identity statement must have a determinate truth-value, not that some such (...) statements might actually fail to have a determinate truth-value. That makes Indefinitism a cousin of mathematical Intuitionism. (shrink)

This analysis shows Cantor's diagonal definition in his 1891 paper was not compatible with his horizontal enumeration of the infinite set M. The diagonal sequence was a counterfeit which he used to produce an apparent exclusion of a single sequence to prove the cardinality of M is greater than the cardinality of the set of integers N.

The discovery of a 1932 typewriter apparently signed by Heidegger raises questions about its authenticity and purpose, and prompts us to reconsider the validity of Heidegger’s portrayal of typewriters as devices that alienate writing from the hand and exemplify the modern oblivion of being.

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

The contribution of Jacques Maritain to twentieth century political philosophy has been widely noted. This paper explores the implications of Maritain’s work and life for contemporary spirituality, in particular, for a spirituality that might nourish and shape democratic participation. It finds the roots of such a spirituality in Maritain’s integral vision of the person, and his view of saints as those persons who alone have fully resolved the human condition. Maritain argues that while sanctity so defined is universal, it must (...) be adapted to the changing conditions of history. Contemporary democracy, in particular, has expanded the possibilities of the human being’s temporal task, and so calls for new styles of sanctity to embrace the new range of human activity. This paper explores the characteristics of sanctity in a democracy, according to Maritain. It finds that the defining features of such sanctity are solidarity, embodied in suffering and fraternal love, and contemplation diversely expressed through both prayer and action. Finally it explores the implications of Maritain’s spirituality for contemporary Catholic citizens. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)